Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Pays de la Loire92
Amir Pnueli6
Pays de la Loire Sauf Amir Pnueli" 90
Amir Pnueli Sauf Pays de la Loire" 4
Pays de la Loire Et Amir Pnueli 2
Pays de la Loire Ou Amir Pnueli 96
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
00A232 Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] ; Amir Pnueli [France]Effective Synthesis of Switching Controllers for Linear Systems
00AC63 Olivier Bournez [France] ; Oded Maler [France] ; Amir Pnueli [France]Orthogonal Polyhedra: Representation and Computation
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022